- переменная замены
- SAP.tech. replacement variable
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Цикл (программирование) — У этого термина существуют и другие значения, см. цикл. В данной статье или разделе имеется список источников или внешних … Википедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
BelT — Создан: 2007 г. Опубликован: 2007 г. Размер ключа: 256 бит Размер блока: 128 бит Число раундов: 8 Тип: Подстановочно перестановочная сеть BelT пр … Википедия
Оптимизирующий компилятор — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/24 декабря 2012. Пока процесс обсужден … Википедия
Финал Кубка Белоруссии по футболу 2009 — Финал Кубка Белоруссии по футболу 2008/2009 «Нафтан» с Кубком Белоруссии, 31.05.09 … Википедия
Обыкновенное дифференциальное уравнение — Обыкновенные дифференциальные уравнения (ОДУ) это дифференциальное уравнение вида где неизвестная функция (возможно, вектор функция, тогда , как правило, тоже вектор функция со значениями в пространстве той же размерности; в этом… … Википедия
STS-131 — Эмблема Полётные данные корабля … Википедия